#include<bits/stdc++.h>
using namespace std;
int main(){
	int x,t=1;
	while(cin>>x){
	    if(x==0)break;
	    printf("Case %d: %d\n",t++,x);
	    
	}
	
	return 0;
}
